The Search Ahead Conflict Resolution for Parallel Firing of Production Systems
نویسندگان
چکیده
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the dependency between production rules, and based on the rule dependency analysis, we develop a new conflict resolution principle, Search Ahead Conflict Resolution (SACR), which can select more than one rule to fire at each execution cycle. The so called Search Ahead Parallelism is thus achieveable by applying the SACR principle at run time. It is proved that the results of running programs in the new production system inference mechanism with SACR principle are the same as those running in the sequential inference mechanism with conflict resolution principle that is based on Last-In First-Out (LIFO) strategy. As a consequence, with the SACR principle, a program composed of a large set of production rules can run in a multiprocessor system and get the same result as those running in a uniprocessor system.
منابع مشابه
A Hybrid Unconscious Search Algorithm for Mixed-model Assembly Line Balancing Problem with SDST, Parallel Workstation and Learning Effect
Due to the variety of products, simultaneous production of different models has an important role in production systems. Moreover, considering the realistic constraints in designing production lines attracted a lot of attentions in recent researches. Since the assembly line balancing problem is NP-hard, efficient methods are needed to solve this kind of problems. In this study, a new hybrid met...
متن کاملNew Formulation and Solution in PCB Assembly Systems with Parallel Batch processors
This paper considers the scheduling problem of parallel batch processing machines with non-identical job size and processing time. In this paper, a new mathematical model with ready time and batch size constraints is presented to formulate the problem mathematically, in which simultaneous reduction of the makespan and earliness-tardiness is the objective function. In recent years, the nature-in...
متن کاملFuzzy Complexity Analysis with Conflict Resolution for Educational Projects
Evaluative and comparative analysis among educational projects remains an issue for administration, program directors, instructors, and educational institutes. This study reports a fuzzy complexity model for educational projects, which has two primary aspects (technical aspects and transparency aspects). These aspects may not be measured precisely due to uncertain situations. Therefore, a fuzzy...
متن کاملConflict Resolution by Random Estimated Costs
Conflict resolution is an important part of many intelligent systems such as production systems, planning tools and cognitive architectures. For example, the ACT–R cognitive architectire [Anderson and Lebiere, 1998] uses a powerful conflict resolution theory that allowed for modelling many characteristics of human decision making. The results of more recent works, however, pointed to the need o...
متن کاملOptimization of an ultra-high-resolution rectangular pixelated parallel-hole collimator with a CZT pixelated semiconductor detector for HiRe-SPECT system
Introduction: In nuclear medicine, the use of a pixelated semiconductor detector such as CZT is an of growing interest for introducing new devices. Especially, the spatial resolution can be improved by using a pixelated parallel-hole collimator with equal holes and pixel sizes based on the pixelated detector. The purpose of this study was to compare the effect of pixelated and ...
متن کامل